﻿<Page
    x:Class="OverSatX.MainPage"
    xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
    xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
    xmlns:local="using:OverSatX"
    xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
    xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"
    mc:Ignorable="d" 
    Foreground="GreenYellow"
    >
    <Grid Background="#A09A9A" >
        <Grid.RowDefinitions>
            <RowDefinition Height="70"/>
            <RowDefinition Height="*"/>
        </Grid.RowDefinitions>
        <Border Grid.Row="0">
            <Grid>
                <Grid.ColumnDefinitions>
                    <ColumnDefinition Width="170"/>
                    <ColumnDefinition Width="*"/>
                </Grid.ColumnDefinitions>
                <Grid Grid.Column="0">
                    <Border Margin="8 8 8 8" BorderBrush="Gray" BorderThickness=".5">
                        <StackPanel Orientation="Vertical" >
                            <TextBlock Foreground="White" HorizontalAlignment="Center" Style="{StaticResource Title}" >
                                OVERSAT
                            </TextBlock>
                            <TextBlock Foreground="White" HorizontalAlignment="Center" Style="{StaticResource TinyTitle}">
                                DECISION BASED SAT SOLVER
                            </TextBlock>
                        </StackPanel>
                    </Border>
                </Grid>
                <Grid Grid.Column="0">
                    <Rectangle Width="150" Height="1.5" Margin="0 -34 0 0" Fill="#A09A9A"/>
                    <Rectangle Width="150" Height="1.5" Margin="0 -24 0 0" Fill="#A09A9A"/>
                    <Rectangle Width="150" Height="1.5" Margin="0 -14 0 0" Fill="#A09A9A"/>
                    <Rectangle Width="150" Height="1.5" Margin="0 -4 0 0" Fill="#A09A9A"/>
                </Grid>
                <StackPanel Orientation="Horizontal" HorizontalAlignment="Right" Grid.Column="1">
                    <Button x:Name="btnCnfLoad" Style="{StaticResource CustomButtonStyle}" Foreground="White" Margin="8,15" Click="btnCnfLoad_Click" Content="LOAD"/>
                    <Button x:Name="btnSATStep" Style="{StaticResource CustomButtonStyle}" Foreground="White" Margin="8 0 8 0" Click="btnSATStep_Click" IsEnabled="False" Content="STEP"/>
                    <Button x:Name="btnSATCalc" Style="{StaticResource CustomButtonStyle}" Foreground="White" Margin="8 0 8 0" Click="btnSATCalc_Click" IsEnabled="False" Content="RUN"/>
                    <Button x:Name="btnSATStop" Style="{StaticResource CustomButtonStyle}" Foreground="White" Margin="8 0 8 0" Click="btnSATStop_Click" IsEnabled="False" Content="STOP"/>
                </StackPanel>
            </Grid>
        </Border>
        <Border Grid.Row="1" Grid.Column="1" Margin="8 8 8 8" Background="Black" BorderBrush="#D2D2DB" BorderThickness="1" CornerRadius="6">
            <Border Background="Black" BorderBrush="#A8A897" BorderThickness="2" CornerRadius="4">
                <Grid Margin="8 8 8 8" >
                    <Grid.ColumnDefinitions>
                        <ColumnDefinition Width=".3*"/>
                        <ColumnDefinition Width=".7*"/>
                    </Grid.ColumnDefinitions>
                    <Grid.RowDefinitions>
                        <RowDefinition Height="90"/>
                        <RowDefinition Height="*"/>
                    </Grid.RowDefinitions>
                    <StackPanel Grid.Column="0" Grid.ColumnSpan="2" Grid.Row="0" Orientation="Vertical" Margin="8 8 8 8">
                        <StackPanel Orientation="Horizontal">
                            <TextBlock Style="{StaticResource FieldTitle}" >STATUS:</TextBlock>
                            <TextBlock x:Name="tbStatus" Style="{StaticResource FieldTitle}" ></TextBlock>
                            <TextBlock Style="{StaticResource FieldTitle}" Margin="50 0 0 0">PASSES:</TextBlock>
                            <TextBlock x:Name="tbPasses" Style="{StaticResource FieldTitle}" ></TextBlock>
                            <TextBlock Style="{StaticResource FieldTitle}" Margin="50 0 0 0">V:</TextBlock>
                            <TextBlock x:Name="tbV" Style="{StaticResource FieldTitle}" ></TextBlock>
                            <TextBlock Style="{StaticResource FieldTitle}" Margin="50 0 0 0">C:</TextBlock>
                            <TextBlock x:Name="tbC" Style="{StaticResource FieldTitle}" ></TextBlock>
                        </StackPanel>
                        <TextBlock Style="{StaticResource FieldTitle}" Margin="0 8 0 0">DECISION STRING</TextBlock>
                        <ScrollViewer HorizontalAlignment="Stretch" VerticalScrollMode="Disabled">
                            <StackPanel x:Name="spDecisionString" Background="#202020" BorderThickness="1" BorderBrush="#303030" Height="Auto"></StackPanel>
                        </ScrollViewer>
                    </StackPanel>
                    <ScrollViewer VerticalAlignment="Stretch" Grid.Column="0" Grid.Row="1" Margin="8 8 8 8">
                        <StackPanel>
                            <TextBlock Style="{StaticResource FieldTitle}" >SAT EXPRESSION</TextBlock>
                            <StackPanel x:Name="spSATExpression" Background="#202020" BorderThickness="1" BorderBrush="#303030" Height="Auto"></StackPanel>
                            <TextBlock Style="{StaticResource FieldTitle}" >CONFLICT LANGUAGE</TextBlock>
                            <StackPanel x:Name="spConflictLanguage" Background="#202020" BorderThickness="1" BorderBrush="#303030" Height="Auto"></StackPanel>
                        </StackPanel>
                    </ScrollViewer>
                    <ScrollViewer VerticalAlignment="Stretch" Grid.Column="1" Grid.Row="1" Margin="8 8 8 8">
                        <StackPanel >
                            <TextBlock x:Name="tbRootConflicts" Style="{StaticResource FieldTitle}" >CONFLICTS</TextBlock>
                            <StackPanel x:Name="spRootConflicts" Background="#202020" BorderThickness="1" BorderBrush="#303030" Height="Auto"></StackPanel>
                            <TextBlock x:Name="tbNewRules" Style="{StaticResource FieldTitle}" >NEW RULES</TextBlock>
                            <StackPanel x:Name="spNewRules" Background="#202020" BorderThickness="1" BorderBrush="#303030" Height="Auto"></StackPanel>
                        </StackPanel>
                    </ScrollViewer>
                </Grid>
            </Border>
        </Border>
    </Grid>
</Page>
